$\neg$(tt = ff $\in$ $\mathbb{B}$)